and Research - PDFSEARCH.IO - Document Search Engine

and Research
Results: 260368

#	Item
21	IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper) Guillaume Brat, Jorge A. Navas, Nija Shi, and Arnaud Venet NASA Ames Research Center, Moffett Field, CAAbstract. The RTCA standar Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Software engineering Computing Software Compilers Compiler construction Compiler optimizations Abstract interpretation LLVM Programming language implementation Intermediate representation Polyspace Static program analysis
22	R&D activities Vehicle Communications R&D to connect vehicles to everything (V2X) We conduct research and development of technologies to connect the nextgeneration connected vehicles to everything else via radio or elect Add to Reading List Source URL: www.toyota-itc.com Language: English - Date: 2018-06-01 01:59:13 Technology Internet of things Vehicle telematics Transport Emerging technologies Economy of Japan Toyota Toyota Group Motorola Connected car Mobility as a service Carsharing
23	The AI Alignment Problem: Why It’s Hard, and Where to Start Eliezer Yudkowsky Machine Intelligence Research Institute May 5, 2016 Add to Reading List Source URL: intelligence.org Language: English - Date: 2017-01-30 22:06:06 Artificial intelligence Technology Motivation Metaphysics Game theory Futurology Philosophy of artificial intelligence Choice modelling Utility Expected utility hypothesis Intelligent agent Friendly artificial intelligence
24	Implementing and Proving the TLS 1.3 Record Layer Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin Microsoft Research {antdl,fournet Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 15:58:36 Cryptography Secure communication Message authentication codes Transport Layer Security Cryptographic protocols Internet Standards Cipher suite Authenticated encryption Poly1305 Galois/Counter Mode OpenSSL Key generation
25	Predicting a Correct Program in Programming by Example Rishabh Singh(B) and Sumit Gulwani Microsoft Research, Redmond, USA Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computing Software engineering Computer programming Formal languages Scheme Regular expression Eval String Parameter Supervised learning
26	HONG KONG INSTITUTE FOR MONETARY RESEARCH A TASTE FOR DIM SUM: ANALYSING THE FINANCIAL DIFFUSION IN THE NEW OFFSHORE RENMINBI DEBT SECURITIES Tom Fong, Paul Mizen and Serafeim Tsoukas Add to Reading List Source URL: www.hkimr.org Language: English - Date: 2018-05-30 02:54:13 Economy Money Finance Renminbi RMB Qualified Foreign Institutional Investor Bond Bank of China Qualified Foreign Institutional Investor Internationalization of the renminbi Schengen bond
27	A Model-Constructing Satisfiability Calculus Leonardo de Moura1 and Dejan Jovanovi´c2 1 2 Microsoft Research Add to Reading List Source URL: csl.sri.com Language: English - Date: 2014-06-27 12:47:14 Theoretical computer science Mathematics Computational complexity theory Logic in computer science Automated theorem proving NP-complete problems Electronic design automation Formal methods Conflict-driven clause learning Boolean satisfiability problem Clause Unit propagation
28	Pushing on a String: State-Owned Enterprises and Monetary Policy Transmission in China Hongyi Chen Hong Kong Institute for Monetary Research Ran Li Add to Reading List Source URL: www.hkimr.org Language: English - Date: 2018-04-27 02:17:35 Economy Money Monetary policy Macroeconomics State-owned enterprise Pushing on a string Central bank Ideology of the Communist Party of China
29	HONG KONG INSTITUTE FOR MONETARY RESEARCH FUNDING CONSTRAINTS AND MARKET ILLIQUIDITY IN THE EUROPEAN TREASURY BOND MARKET Sophie Moinas, Minh Nguyen and Giorgio Valente Add to Reading List Source URL: www.hkimr.org Language: English - Date: 2018-09-17 03:14:27 Economy Finance Money Financial markets Credit Market liquidity Markus Brunnermeier Funding liquidity
30	DIGGING FOR GROUNDHOGS: HOLES IN YOUR LINUX SERVER CHECK POINT THREAT INTELLIGENCE AND RESEARCH LEAD RESEARCHERS: STANISLAV SKURATOVICH, ALIAKSANDR TRAFIMCHUK Add to Reading List Source URL: blog.checkpoint.com Language: English - Date: 2015-10-19 15:19:46 Cybercrime Cyberwarfare Malware Computing Denial-of-service attacks Security breaches Botnet Computer network security Denial-of-service attack Secure Shell Mobile security Linux malware

UPDATE